Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
711	S¯adhan¯a Vol. 34, Part 1, February 2009, pp. 145–191. © Printed in India Proving the correctness of client/server software EYAD ALKASSAR, SEBASTIAN BOGAN and WOLFGANG J PAUL Computer Science Department, Saarland U Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2009-02-20 06:03:15 Applied mathematics Formal methods Inter-process communication Microkernel Trusted computing base Formal verification Kernel Remote procedure call Software verification Computer architecture Computing Theoretical computer science
712	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Instruction set architectures Computer memory Parallel computing Cache coherency Model checking CPU cache Formal verification Communications protocol Computing Computer architecture Computer hardware
713	General Principles of Software Validation; Final Guidance for Industry and FDA Staff Add to Reading List Source URL: www.pacontrol.com Language: English - Date: 2007-11-25 07:24:45 Medicine Validity Quality Formal methods Validation Verification and validation Medical device Software testing Software development process Technology Pharmaceutical industry Science
714	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-06-12 17:13:00 Logic in computer science Data types Formal methods Pointer First-order logic Satisfiability Modulo Theories Assertion ALGOL 68 Theoretical computer science Software engineering Computer programming
715	Independent Verification and Validation Options U.S. Department of Health and Human Services Administration for Children and Families Office of Child Support Enforcement Add to Reading List Source URL: www.acf.hhs.gov Language: English - Date: 2012-05-17 15:54:42 Formal methods Software quality Pharmaceutical industry Validity Management Software development process Systems engineering process Validation Quality assurance Systems engineering Software development Science
716	OS Verification Extended On the Formal Verification of Device Drivers and the Correctness of Client/Server Software Dissertation zur Erlangung des Grades Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 06:52:10 Formal verification Logic in computer science Correctness Computer science Theoretical computer science Applied mathematics Mathematics
717	Model Stack for the Pervasive Verification of a Microkernel-based Operating System? Matthias Daum, Jan D¨orrenb¨acher, and Sebastian Bogan Saarland University, Computer Science Dept[removed]Saarbr¨ ucken, Germany Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2008-07-22 18:53:53 Device drivers Monolithic kernels Microkernel Kernel Process management Architecture of Windows NT Thread Formal verification Linux kernel Computer architecture System software Computing
718	Preface i SystemVerilog Assertions rd Add to Reading List Source URL: systemverilog.us Language: English - Date: 2012-09-03 22:27:59 Hardware description languages Logic in computer science SystemVerilog Verilog E Assertion Model checking Formal methods Formal verification Electronic engineering Electronic design automation Hardware verification languages
719	CrowdMine: Towards Crowdsourced Human-Assisted Verification Wenchao Li Sanjit A. Seshia Somesh Jha Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-05-25 20:37:06 Applied mathematics Electronic engineering Electronic design automation Electronic design Human-based computation Crowdsourcing Formal verification Software verification Model checking Theoretical computer science Formal methods Logic in computer science
720	U:/Documents/Rech/PositionPapers/Emsoft07/Latex/grandChallenges_Sifakis.dvi Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Formal methods Formal verification Logic in computer science Theoretical computer science Abstraction Programming paradigm Embedded system Software design Communications protocol Computing Software engineering Electronic engineering

UPDATE